$\forall$$a$, $b$:Atom. $a$ $=$ $b$ $\Leftrightarrow$ $a$=$_{2}$$b$$\in$Atom